Диаграмма паука
Диаграмма паука — способ визуализации логических утверждений. Диаграмма паука может рассматриваться как расширение диаграмм Эйлера или диаграмм Венна. Также диаграмма Паука используется как расширение диаграмм Пирса[1].
Язык диаграмм паука добавляет к представлению информации на этих диаграммах добавляет так называемые экзистенциальные точки.
Экзистенциальные точки указывают на существование атрибута, описываемого пересечением контуров на диаграмме Эйлера. Эти точки могут быть соединены, образуя фигуру, подобную пауку. Соединяемые точки вместе образуют визуальный эквивалент условия «или», также известного как логическая дизъюнкция.
Унитарная диаграмма паука - диаграмма соответствующая одному логическому условию «или».
Пример: на приведённой иллюстрации, экзистенциальные точки расставлены таким образом, что образуют следующие логические выражения:
Два паука в примере соответствуют следующим логическим выражениям:
Красный паук:
Синий паук:
Диаграмма пауков — это логическое выражение, включающее одну или несколько унитарных диаграмм паука и логические символы. ∧ , ∨ , ¬ .
Например, она может состоять из коньюнкции двух диаграмм паука, дизъюнкции двух диаграмм пауков или отрицания диаграммы пауков.
Система, основанная на диаграммах пауков выразительно эквивалентна монадической логике первого порядка с равенством[1][2][3][4].
Литература
[править | править код]- Howse, J. and Stapleton, G. and Taylor, H. Spider Diagrams London Mathematical Society Journal of Computation and Mathematics, (2005) v. 8, pp. 145–194. ISSN 14611570 Accessed on January 8, 2012 here
- Stapleton, G. and Howse, J. and Taylor, J. and Thompson, S. What can spider diagrams say? Proc. Diagrams, (2004) v. 168, pp. 169–219. Accessed on January 4, 2012 here
- Stapleton, G. and Jamnik, M. and Masthoff, J. On the Readability of Diagrammatic Proofs Proc. Automated Reasoning Workshop, 2009. PDF
Примечания
[править | править код]- ↑ 1 2 John Howse, Gem Stapleton, John Taylor. Spider Diagrams (англ.) // LMS Journal of Computation and Mathematics. — 2005-01. — Vol. 8. — P. 145–194. — ISSN 1461-1570. — doi:10.1112/S1461157000000942. Архивировано 10 августа 2023 года.
- ↑ Gem Stapleton, John Howse, John Taylor, Simon Thompson. The Expressiveness of Spider Diagrams. Journal of Logic and Computation (1 декабря 2004). Дата обращения: 10 августа 2023. Архивировано 10 августа 2023 года.
- ↑ J. Gil, J. Howse, S. Kent. Formalizing spider diagrams // Proceedings 1999 IEEE Symposium on Visual Languages. — 1999-09. — С. 130–137. — doi:10.1109/VL.1999.795884.
- ↑ John Howse, Fernando Molina, John Taylor. On the Completeness and Expressiveness of Spider Diagram Systems (англ.) // Theory and Application of Diagrams / Michael Anderson, Peter Cheng, Volker Haarslev. — Berlin, Heidelberg: Springer, 2000. — P. 26–41. — ISBN 978-3-540-44590-6. — doi:10.1007/3-540-44590-0_8. Архивировано 11 августа 2023 года.